The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Moshe Y . Vardi Books

Results for Moshe Y . Vardi

Showing 1 to 2 of 2 results
Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science) Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science) by

Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science)

by


ISBN 13: 9783540646082

Format: Paperback (552 pages)
Publisher: Springer
Published: 03 Jun 1998

Save for later

 
New : $110.48  
New : $110.48
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) by Erich Grädel,Phokion G. Kolaitis,Leonid Libkin,Maarten Marx,Joel Spencer,Moshe Y. Vardi,Yde Venema,Scott Weinstein

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

by Erich Grädel,Phokion G. Kolaitis,Leonid Libkin,Maarten Marx,Joel Spencer,Moshe Y. Vardi,Yde Venema,Scott Weinstein


ISBN 13: 9783540004288

Format: Hardcover (437 pages)
Publisher: Springer
Published: 24 Apr 2007

Save for later

 
New : $118.32  
New : $118.32